temporal logic
英 [ˈtempərəl ˈlɒdʒɪk]
美 [ˈtempərəl ˈlɑːdʒɪk]
网络 时间逻辑; 时态逻辑; 时序逻辑; 时相论理
双语例句
- An Academy member, Professor Tang is well known for his work in temporal logic and perhaps best known for a set of tools he developed, known as the XYZ tools.
作为一名院士，唐教授以其对时间逻辑的研究著称，而他最广为人知的工作也许是他开发的一组工具，称为XYZ工具。 - He constructed several software development environments using the tools that included a set of hierarchical languages based upon temporal logic.
他使用包括一组基于时间逻辑的分等级语言的工具建立了若干软件开发环境。 - The systems are usually described by the timed automata and the properties are specified by the temporal logic.
这类系统通常用时间自动机来表示，而它们的性质则用时序逻辑公式表示。 - Adding linear temporal logic with clocks to Object-Z
用带时钟变量的线性时态逻辑扩充Object-Z - A method for modeling imprecise temporal aspects of discrete-event systems, extended interval temporal logic, is proposed, which is an extension of the traditional point-interval temporal logic.
针对点-时段时序逻辑的不足，提出了一种新的时段时序逻辑&扩展时段时序逻辑，对不确定时间段发生的事件具有较好的描述能力。 - We present a dense timed interval temporal logic and exploit the decidability problem of DTITL.
定义了稠密时间区间时序逻辑，它是区间时序逻辑的一种实时扩充。 - Research on Open Temporal Logic Based Formal Verification and Modular Reasoning of Aspect-Oriented Programs
基于开放时态逻辑的面向方面程序形式化验证和模块推理研究 - That temporal logic can help to provide much more powerful assertions over methods in programs, helping to enforce invariants that are otherwise hard to express formally.
时态逻辑有助于提供比程序中的方法更有力的断言，从而有助于增强用其它方式难以正式表达的不变量。 - For seminal work introducing temporal logic into computing science and for outstanding contributions to program and systems verification.
他将时序逻辑引入计算机科学，为程序和系统的检测验证方面提供一种有力的工具。 - Study on Migrating Instance Run-Time Security Based on Temporal Logic
基于时态逻辑的迁移实例运行时安全研究 - Verification of business process constraints based on temporal logic
基于时序逻辑的业务过程约束建模及验证 - A new model for mining multiple time series based on temporal logic
基于时态逻辑的多时间序列挖掘模型 - Proving Soundness of Program Transformations in Optimizing Compilation Based on Temporal Logic
基于时序逻辑证明编译优化程序变换的保义性 - Extending Slices of Object-Z Classes Based on Temporal Logic
基于时序逻辑的Object-Z类切片的扩展 - Model Checking Web Services Based on Temporal Logic of Knowledge
基于时态认知逻辑的Web服务模型检测 - Temporal Logic Approach on Modeling and Analysis of Workflow with Process Algebra Style
一种进程代数风格的基于时序逻辑的工作流建模方法 - Research on Model Checking of Petri Nets Based on Linear Temporal Logic
基于线性时态逻辑的Petri网模型检测研究 - Formal Semantics of Framed Temporal Logic Programming Language MSVL
框架时序逻辑程序语言MSVL的形式语义 - Application of Well-founded Induction in Verifying Invariance of Temporal Logic Programs
良基归纳法在时序逻辑程序不变式验证中的应用 - A Method of the Description and Refinement of Real-time System of Selling Tickets Based on Temporal Logic
一种基于时序逻辑语言的实时售票系统描述与精化方法 - Model checking is a formal method for verifying the temporal logic properties of finite state systems.
模型检测是一种验证有限状态系统的时序逻辑属性的形式化方法。 - In a temporal logic, statements can have a truth value which can vary in time.
在时序逻辑，报表可以有真值，可以在不同的时间。 - Temporal logic always has the ability to reason about a time line.
时序逻辑总是有能力原因时限。 - Description and Refinement of Distributed Real-time Software Architecture Based on Temporal Logic Language
基于时序逻辑语言的分布式实时软件体系结构描述与精化 - Behavior modeling method based on LCTL ( linear colored temporal logic) is put forward, three different models of action activity and behavior are built and an example is presented.
提出了基于线性赋色时态逻辑的行为建模方法，分别建立了动作、活动和行为三个不同层次的模型并给出了实例应用。 - Axiomatization for the first-order projection temporal logic and formal verifications
投影时序逻辑的公理系统与形式验证 - Properties of Temporal Logic Operators and Extended Operations on Intuitionistic Fuzzy Singular Rough Sets
直觉模糊S-粗集时态逻辑算子及扩展运算性质 - Projection Temporal Logic Oriented Model Checking for Web Services
面向投影时序逻辑的Web服务模型检测 - And that's because of the temporal logic that's how the logic of time works.
那是因为时序逻辑，时间的逻辑就是这样运作的。 - Finite state machine is refers to the output depends on the past input part and the current input portion of temporal logic circuit.
用程序实现状态机功能，有限状态机是指输出取决于过去输入部分和当前输入部分的时序逻辑电路。